This AVI video segment has been created with a DIVX 5.0.1
coder. The coder can be downloaded for free from:

http://www.divx.com

Note that this video has sound !